From Algebras to Objects: Generation and Composition
نویسندگان
چکیده
This paper addresses objectification, a formal specification technique which inspects the potential for object-orientation of a declarative model and brings the ’implicit objects’ explicit. Criteria for such objectification are formalized and implemented in a runnable prototype tool which embeds Vdm-sl into Vdm++. The paper also includes a quick presentation of a (coinductive) calculus of such generated objects, framed as generalised Moore machines.
منابع مشابه
On lifting of biadjoints and lax algebras
Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $ then this lifting is also right biadjoint provided that $mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, ...
متن کاملAnalytical Studies and Identification of Production Process in the Glass Objects from the Underground Hand-Made Architectural Complex of Arzanfood, Hamedan
Study on the production technology in ancient glass artefacts is one of the interesting subject in the field of archaeological sciences. The aim of this study is to identify the chemical composition and production technology in the glass objects discovered form the underground hand-made architectural complex of Arzanfood, near Hamedan, in western Iran. These objects are including some broken pi...
متن کاملWeighted composition operators between Lipschitz algebras of complex-valued bounded functions
In this paper, we study weighted composition operators between Lipschitz algebras of complex-valued bounded functions on metric spaces, not necessarily compact. We give necessary and sufficient conditions for the injectivity and the surjectivity of these operators. We also obtain sufficient and necessary conditions for a weighted composition operator between these spaces to be compact.
متن کاملWeighted Composition Operators Between Extended Lipschitz Algebras on Compact Metric Spaces
In this paper, we provide a complete description of weighted composition operators between extended Lipschitz algebras on compact metric spaces. We give necessary and sufficient conditions for the injectivity and the sujectivity of these operators. We also obtain some sufficient conditions and some necessary conditions for a weighted composition operator between these spaces to be compact.
متن کاملA PRACTICAL APPROACH TO REAL-TIME DYNAMIC BACKGROUND GENERATION BASED ON A TEMPORAL MEDIAN FILTER
In many computer vision applications, segmenting and extraction of moving objects in video sequences is an essential task. Background subtraction, by which each input image is subtracted from the reference image, has often been used for this purpose. In this paper, we offer a novel background-subtraction technique for real-time dynamic background generation using color images that are taken fro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 11 شماره
صفحات -
تاریخ انتشار 2005